min

The minimum value a NonZeroInt can have.